Monads. 相关硕士博士期刊学术论文

文章探讨了怎样在线函数式语言中加入赋值操作，而又不丧失引用透明性特征的问题，给出了这些操作指标语义，并用这些赋值操作义了一个简......